9. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
10. Verification and control of hybrid systems: a symbolic approach
پدیدآورنده : Tabuada, Paulo
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Hybrid systems,Verification ، Computer systems,، Digital control systems,، Electronic books
رده :
QA
76
.
38
.
T33
